Theorems on prime numbers